DFS in AI